Eliashberg's proof of Cerf's theorem

Following a line of reasoning suggested by Eliashberg, we prove Cerf's theorem that any diffeomorphism of the 3-sphere extends over the 4-ball. To this end we develop a moduli-theoretic version of Eliashberg's filling-with-holomorphic-discs method.Comment: 32 page

Procedure for measurement of logarithmic growth

Measurement of logarithmic growt

Casimir effect with a helix torus boundary condition

We use the generalized Chowla-Selberg formula to consider the Casimir effect of a scalar field with a helix torus boundary condition in the flat ($D+1$)-dimensional spacetime. We obtain the exact results of the Casimir energy density and pressure for any $D$ for both massless and massive scalar fields. The numerical calculation indicates that once the topology of spacetime is fixed, the ratio of the sizes of the helix will be a decisive factor. There is a critical value $r_{crit}$ of the ratio $r$ of the lengths at which the pressure vanishes. The pressure changes from negative to positive as the ratio $r$ passes through $r_{crit}$ increasingly. In the massive case, we find the pressure tends to the result of massless field when the mass approaches zero. Furthermore, there is another critical ratio of the lengths $r_{crit}^{\prime}$ and the pressure is independent of the mass at $r=r_{crit}^{\prime}$ in the D=3 case.Comment: 11 pages, 3 figures, to be published in Mod. Phys. Lett.

Schrijver graphs and projective quadrangulations

In a recent paper [J. Combin. Theory Ser. B}, 113 (2015), pp. 1-17], the authors have extended the concept of quadrangulation of a surface to higher dimension, and showed that every quadrangulation of the $n$-dimensional projective space $P^n$ is at least $(n+2)$-chromatic, unless it is bipartite. They conjectured that for any integers $k\geq 1$ and $n\geq 2k+1$, the Schrijver graph $SG(n,k)$ contains a spanning subgraph which is a quadrangulation of $P^{n-2k}$. The purpose of this paper is to prove the conjecture

Betti number signatures of homogeneous Poisson point processes

The Betti numbers are fundamental topological quantities that describe the k-dimensional connectivity of an object: B_0 is the number of connected components and B_k effectively counts the number of k-dimensional holes. Although they are appealing natural descriptors of shape, the higher-order Betti numbers are more difficult to compute than other measures and so have not previously been studied per se in the context of stochastic geometry or statistical physics. As a mathematically tractable model, we consider the expected Betti numbers per unit volume of Poisson-centred spheres with radius alpha. We present results from simulations and derive analytic expressions for the low intensity, small radius limits of Betti numbers in one, two, and three dimensions. The algorithms and analysis depend on alpha-shapes, a construction from computational geometry that deserves to be more widely known in the physics community.Comment: Submitted to PRE. 11 pages, 10 figure

Skew Category Algebras Associated with Partially Defined Dynamical Systems

We introduce partially defined dynamical systems defined on a topological space. To each such system we associate a functor $s$ from a category $G$ to \Top^{\op} and show that it defines what we call a skew category algebra $A \rtimes^{\sigma} G$. We study the connection between topological freeness of $s$ and, on the one hand, ideal properties of $A \rtimes^{\sigma} G$ and, on the other hand, maximal commutativity of $A$ in $A \rtimes^{\sigma} G$. In particular, we show that if $G$ is a groupoid and for each e \in \ob(G) the group of all morphisms $e \rightarrow e$ is countable and the topological space $s(e)$ is Tychonoff and Baire, then the following assertions are equivalent: (i) $s$ is topologically free; (ii) $A$ has the ideal intersection property, that is if $I$ is a nonzero ideal of $A \rtimes^{\sigma} G$, then $I \cap A \neq \{0\}$; (iii) the ring $A$ is a maximal abelian complex subalgebra of $A \rtimes^{\sigma} G$. Thereby, we generalize a result by Svensson, Silvestrov and de Jeu from the additive group of integers to a large class of groupoids.Comment: 16 pages. This article is an improvement of, and hereby a replacement for, version 1 (arXiv:1006.4776v1) entitled "Category Dynamical Systems and Skew Category Algebras

Topology of the three-qubit space of entanglement types

The three-qubit space of entanglement types is the orbit space of the local unitary action on the space of three-qubit pure states, and hence describes the types of entanglement that a system of three qubits can achieve. We show that this orbit space is homeomorphic to a certain subspace of R^6, which we describe completely. We give a topologically based classification of three-qubit entanglement types, and we argue that the nontrivial topology of the three-qubit space of entanglement types forbids the existence of standard states with the convenient properties of two-qubit standard states.Comment: 9 pages, 3 figures, v2 adds a referenc

A Local Computation Approximation Scheme to Maximum Matching

We present a polylogarithmic local computation matching algorithm which guarantees a (1-\eps)-approximation to the maximum matching in graphs of bounded degree.Comment: Appears in Approx 201

Isolation of subcellular fractions of Nuerospora of mycelio

Isolation of subcellular fraction

Topological Modes in Dual Lattice Models

Lattice gauge theory with gauge group $Z_{P}$ is reconsidered in four dimensions on a simplicial complex $K$. One finds that the dual theory, formulated on the dual block complex $\hat{K}$, contains topological modes which are in correspondence with the cohomology group $H^{2}(\hat{K},Z_{P})$, in addition to the usual dynamical link variables. This is a general phenomenon in all models with single plaquette based actions; the action of the dual theory becomes twisted with a field representing the above cohomology class. A similar observation is made about the dual version of the three dimensional Ising model. The importance of distinct topological sectors is confirmed numerically in the two dimensional Ising model where they are parameterized by $H^{1}(\hat{K},Z_{2})$.Comment: 10 pages, DIAS 94-3